" Agostino Cortesi" скачать бесплатно. Электронная библиотека. Поиск книг LibCats

Самая большая электронная библиотека рунета. Поиск книг и журналов

#1

Computer Information Systems - Analysis and Technologies - CISIM 2011

Nabendu Chaki, Agostino Cortesi

7.40 Mb

#2

Verification, Model Checking, and Abstract Interpretation, 4 conf., VMCAI 2003

Lenore D. Zuck, Paul D. Attie, Agostino Cortesi, Supratik Mukhopadhyay

Категория: Cs_Computer science, CsLn_Lecture notes

2.51 Mb

#3

Verification, Model Checking, and Abstract Interpretation, 3 conf., VMCAI 2002

Agostino Cortesi

Категория: Cs_Computer science, CsLn_Lecture notes

2.38 Mb

#4

Static Analysis: 6th International Symposium, SAS'99, Venice, Italy, September 22-24, 1999, Proceedings: Sixth International Symposium, SAS '99, ... 6th

Agostino Cortesi, Gilberto File

2.96 Mb